Model-based testing

Results: 198



#Item
151Stephen Raudenbush / Standardized tests / No Child Left Behind Act / Educational Testing Service / Education reform / Adequate Yearly Progress / Graduate Record Examinations / Turnaround model / Education / Evaluation / Standards-based education

WE MEASURE SCHOOL IMPROV HOOLING, STATISTICS, AND POV WE MEASURE SCHOOL IMPROV OVEMENT? SCHOOLING, STATIS OOLING, STATISTICS, AND POVE ISTICS, AND POVERTY: CAN WE

Add to Reading List

Source URL: www.ets.org

Language: English - Date: 2010-05-16 23:04:10
152107th United States Congress / No Child Left Behind Act / Standards-based education / Value-added modeling / Merit pay / William Sanders / Education reform / Standardized testing and its effects / Turnaround model / Education / Education policy / Teaching

FINANCIAL AND BUSINESS SERVICES INTERNSHIP PROGRAM The Evolution & Use of Growth Models By Christopher A. Cody, Joel McFarland, J. Eric Moore, & Jennifer Preston

Add to Reading List

Source URL: www.ncpublicschools.org

Language: English - Date: 2010-10-29 09:47:07
153Science / Infographics / UML diagrams / Unified Modeling Language / Activity diagram / Systems Modeling Language / State diagram / Model-based testing / Data model / Diagrams / Software engineering / Computing

Testing Solutions through SysML / UML Dave Richards Andrew Stuart Artisan Software Tools Westinghouse Rail Systems Ltd Suite 701, Eagle Tower

Add to Reading List

Source URL: www.omgsysml.org

Language: English - Date: 2012-06-04 08:34:32
154Test suite / Test case / Software / Oracle / Statistics / TPT / Test automation / Software testing / Model-based testing / Evaluation

Master Thesis THE SURVEY OF MODEL BASED TESTING AND INDUSTRIAL TOOLS by

Add to Reading List

Source URL: www.mah-d.com

Language: English - Date: 2014-06-17 17:25:17
155Thought / Branches of philosophy / Multi-agent systems / Logic / Argumentation theory / Epistemology / Argument / Dialogue / Agent-based model / Science / Arguments / Critical thinking

Testing the benefits of structured argumentation in multi-agent deliberation dialogues Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, and Gerard A. W. Vreeswijk Department of Information and Computing Sciences, Utrech

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2012-04-08 11:38:48
156Computing / Software / Model checkers / Model checking / Logic in computer science / NuSMV / Software testing / Formal verification / Role-based access control / Formal methods / Access control / Security

Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc.

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2009-01-07 00:00:00
157107th United States Congress / Education policy / No Child Left Behind Act / Education in the United States / Humanities / Elementary and Secondary Education Act / Turnaround model / Highly Qualified Teachers / Education / Linguistic rights / Standards-based education

NCLB Sanctions: Tests Taken, Lessons Learned The No Child Left Behind Act of 2001 introduced the first nationwide annual standardized testing requirement for students in grades 3 through 8, with the goal of improving aca

Add to Reading List

Source URL: www.aei.org

Language: English - Date: 2013-05-21 10:02:32
158Software quality / Reliability engineering / Model-based testing / Unit testing / Test automation / Actor model / Orthogonal array testing / All-pairs testing / Software testing / Software development / Statistics

An Input Space Modeling Methodology for Combinatorial Testing Mehra N.Borazjany, Laleh Sh. Ghandehari, Yu Lei Raghu N. Kacker, D. Richard Kuhn Department of Computer Science and Engineering

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2013-03-25 11:01:28
159Software quality / Reliability engineering / Orthogonal array testing / Model-based testing / Test data / Software development process / All-pairs testing / Software testing / Science / Statistics

This article is part of the Reliability Society 2010 Annual Technical Report Advanced Combinatorial Test Methods for System Reliability D. Richard Kuhn*, Raghu N. Kacker*, Yu Lei** *National Institute of Standards & Tec

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2011-03-23 01:00:00
160Computing / Evaluation / National Institute of Standards and Technology / Information security / NIST Special Publication 800-53 / Cryptographic Module Testing Laboratory / Computer security / Security / Data security

NIST SP[removed], Information Technology Security Training Requirements: A Role- and Performance-Based Model

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2012-01-30 14:00:34
UPDATE